تعداد ۳ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۰,۳۱ ثانیه یافت شد.

1. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings

پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence

رده :

QA

76

.

L28

Vol

.

1085

2. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings

پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses

رده :

QA

76

.

9

.

A96

I575

1996

3. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings

پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer programming,، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

827

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است